Open neighborhood of a point ↩

Metadata 
aliases: []
shorthands: {}
created: 2022-01-13 11:15:54
modified: 2022-01-13 11:24:34

Let be a topological space.
An open neighborhood of a point in the topological space is an open set such that .